Developing closed-loop neuromodulatory devices
نویسندگان
چکیده
منابع مشابه
Abstraction Trees for Closed-Loop Model Checking of Medical Devices
ion Trees for Closed-Loop Model Checking of Medical Devices Zhihao Jiang, Houssam Abbas, Pieter J. Mosterman, and Rahul Mangharam 1 Department of Electrical and Systems Engineering, University of Pennsylvania 2 School of Computer Science, McGill University, Canada 3 MathWorks, USA Abstract. This paper proposes a methodology for closed-loop model checking of medical devices, and illustrates it w...
متن کاملAbstraction-Tree For Closed-loop Model Checking of Medical Devices
ion-Tree For Closed-loop Model Checking of Medical Devices Zhihao Jiang University of Pennsylvania, [email protected] Houssam Abbas University of Pennsylvania, [email protected] Pieter J. Mosterman MathWorks, [email protected] Rahul Mangharam University of Pennsylvania, [email protected] This paper is posted at ScholarlyCommons. http://repository.upenn.edu/mlab_papers/...
متن کاملGeneralized modal analysis for closed-loop piezoelectric devices
Stress in piezoelectric material can be controlled by imposing the electrical field. Thanks to a feedback, this electrical field can be a function of some strain related measurement so as to confer to the piezoelectric device a closed loop macroscopic behaviour. In this paper we address the modelling of such system by extending the modal decomposition methods to account for the closed loop. To ...
متن کاملDistance protection closed-loop testing using RTDS
This paper presents a distance protection test procedure by applying the Real-Time Digital Simulator (RTDS) of a power system. RTDS is a tool to design, develop, and test power-system protection. The RTDS enables real-time computation of electromagnetic phenomena with a calculation time step of even 50μs. The hardware allows the import and export of many signals from the simulator to an ext...
متن کاملA virtual closed loop method for closed loop identification
Indirect methods for identification of linear plant models on the basis of closed-loop data are based on the use of (reconstructed) input signals that are uncorrelated with the noise. This generally requires exact (linear) controller knowledge. On the other hand, direct identification requires exact plant and noise modelling (system in the model set) in order to achieve accurate results, althou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Reviews Drug Discovery
سال: 2019
ISSN: 1474-1776,1474-1784
DOI: 10.1038/d41573-019-00011-0